32

Integrating external deduction tools with ACL2

Année:
2009
Langue:
english
Fichier:
PDF, 266 KB
english, 2009
39

Rewriting with Equivalence Relations in ACL2

Année:
2008
Langue:
english
Fichier:
PDF, 290 KB
english, 2008